Nuprl Definition : chain_sys_ind
11,40
postcript
pdf
chain_sys_ind(
x
;
cmd
.
input
(
cmd
);
from
,
cmds
.
update
(
from
;
cmds
))
== case
x
of inl(
x
) =>
input
(
x
) | inr(
x
) =>
update
(
x
.1;
x
.2)
latex
Definitions
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
)
,
t
.1
,
t
.2
FDL editor aliases
chain_sys_ind, chain_sys_ind
origin